Esta disciplina tem por objectivo aprofundar a relação existente entre lógica formal e a computação. Esta relação pode assumir diferentes formas, dependendo da perspectiva ...
Education/LC Web Preferences The following settings are web preferences of the Education/LC web. These preferences overwrite the site level preferences in ...